Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
611	More Functional Reusability in C / C++ / Objective-c with Curried Functions WORKING PAPER Add to Reading List Source URL: asg.unige.ch Language: English - Date: 2004-11-08 14:55:02 Subroutines Functional programming Data types Lambda calculus Higher-order functions Currying Function type Apply C Software engineering Computing Computer programming
612	Dependently Typed Web Client Applications FRP in Agda in HTML5 Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2012-11-06 09:48:46 Functional languages Functional programming Scripting languages Lisp programming language Type theory Agda Lambda calculus ECMAScript JavaScript Computing Software engineering Computer programming
613	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
614	PDF Document Add to Reading List Source URL: ocvs.cfv.jp Language: English - Date: 2007-02-22 06:02:29 Agda Haskell Emacs ALF Type theory Dependent type Coq Lambda calculus Functional programming Software Computing Functional languages
615	PDF Document Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-06 11:50:22 Computer programming Algebraic topology Functional programming Immutable object Subtype polymorphism Lambda calculus Test Sheaf Computing Software engineering Object-oriented programming
616	PDF Document Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2012-09-28 04:11:44 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
617	PDF Document Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Operator theory Functions and mappings Linear algebra Spectral theory Linear differential equation Functional equation Differential equation Linear map Sturm–Liouville theory Mathematical analysis Mathematics Calculus
618	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:33 Predicate logic Logic in computer science Logic programming Programming paradigms ΛProlog Functional programming Unification Prolog Lambda calculus Mathematics Software engineering Mathematical logic
619	PDF Document Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2004-11-16 05:55:36 Fourier analysis Integral calculus Convolution Functional analysis Image processing Integral Differential equation Continuous function Derivative Mathematical analysis Mathematics Functions and mappings
620	PDF Document Add to Reading List Source URL: www.mims.meiji.ac.jp Language: English - Date: 2011-03-17 00:06:19 Algebra Spectrum Toshikazu Sunada Symmetric space Permutation Model theory Orbifold Holomorphic functional calculus Mathematics Geometry Spectral theory

UPDATE